Prototype Function Flow Diagram (FFD) - Combined Unified Modelling Language with Data Flow Diagram
نویسندگان
چکیده
منابع مشابه
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool ba...
متن کاملThe Availability Semantics of Predicate Data Flow Diagram
The core of the SOZL(structured methodology + object-oriented methodology + Z language) is Predicate Data Flow Diagram. In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams are necessary. In this paper we use Z notation to define an abstract syntax and the rela...
متن کاملAn Executable Semantics for a Formalized Data Flow Diagram Speci cation Language
While traditional Data Flow Diagrams (DFDs) are popular, they lack the formality needed in a good speci cation technique. We provide an executable semantics for a subset of RTSPECS, a formalization of DFDs, using the programming language Standard ML. RT-SPECS is a formal notation for specifying concurrent and real-time software that relies on model-based speci cation of abstract datatypes. Proc...
متن کاملShape diagram of vesicles in Poiseuille flow.
Soft bodies flowing in a channel often exhibit parachutelike shapes usually attributed to an increase of hydrodynamic constraint (viscous stress and/or confinement). We show that the presence of a fluid membrane leads to the reverse phenomenon and build a phase diagram of shapes-which are classified as bullet, croissant, and parachute-in channels of varying aspect ratio. Unexpectedly, shapes ar...
متن کاملAn Executable Semantics for a Formalized Data Flow Diagram Specification Language
While traditional Data Flow Diagrams (DFDs) are popular, they lack the formality needed in a good specification technique. We provide an executable semantics for a subset of RT-SPECS, a formalization of DFDs, using the programming language Standard ML. RT-SPECS is a formal notation for specifying concurrent and real-time software that relies on model-based specification of abstract datatypes. P...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Jurnal Komtika
سال: 2017
ISSN: 2580-734X,2580-2852
DOI: 10.31603/komtika.v1i2.1793